Nadia

Results: 845



#Item
121Software engineering / Computer programming / Software / Formal methods / Logic in computer science / Object-oriented programming languages / Object-oriented programming / Software testing / Postcondition / Eiffel / Assertion / Class invariant

A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch

Add to Reading List

Source URL: se.ethz.ch

Language: English - Date: 2011-03-11 06:33:20
122

Efficient Multi-view Performance Capture of Fine-Scale Surface Detail Nadia Robertini1,2 , Edilson De Aguiar1,3 , Thomas Helten1,4 , Christian Theobalt1 1 MPI Informatik, Germany

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2014-10-07 12:08:01
    123

    Nadia Polikarpova Chair of Software Engineering Phone: Department of Computer Science, ETH Zurich Email: ETH Zentrum RZ J8, Clausiusstrasse 59

    Add to Reading List

    Source URL: se.inf.ethz.ch

    Language: English - Date: 2014-07-30 05:17:23
      124Computing / Computer science / Data management / Database theory / Search algorithms / Range searching / Range tree / Fractional cascading / Computational geometry / Range query / Bin / Dynamic convex hull

      CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Data Structures for Restricted Triangular Range Searching Nadia M. Benbernou∗ Mashhood Ishaque†

      Add to Reading List

      Source URL: www.eecs.tufts.edu

      Language: English - Date: 2008-07-20 17:49:14
      125

      Coin-Flipping Magic∗ Nadia Benbernou† Erik D. Demaine† Martin L. Demaine†

      Add to Reading List

      Source URL: people.csail.mit.edu

      Language: English - Date: 2009-02-27 17:00:31
        126

        UNIVERSITY OF KALYANI KalyanI -74\ 235, Dist- Nadia, West Beng Dr. Subrata Kumar Ray Inspector of Colleges

        Add to Reading List

        Source URL: www.klyuniv.ac.in

        Language: English - Date: 2014-11-12 05:18:11
          127

          Dr. Subrata Kumar Ray Inspector of Colleges UNIVERSITY OF KALYANI Kalyani, Dist.- Nadia, West Bengal  Office: (

          Add to Reading List

          Source URL: www.klyuniv.ac.in

          Language: English - Date: 2015-07-16 02:41:46
            128

            UNIVERSITY OF KALYANI Kalyani, Dist.- Nadia, West Bengal  Office: (Fax : (EPABX: 9356 Extn. 258, 324 (O)

            Add to Reading List

            Source URL: www.klyuniv.ac.in

            Language: English - Date: 2015-08-13 01:31:14
              129

              Exploiting poor randomness: RSA, DSA, and ECDSA disasters Nadia Heninger University of Pennsylvania

              Add to Reading List

              Source URL: attackschool.di.uminho.pt

              Language: English - Date: 2014-11-03 05:59:17
                130Mathematics / Algebra / Graph theory / Convex analysis / Convex geometry / Algebraic graph theory / Dual graph / Convex set / Line segment / Convex function

                Erratum for “Disjoint Segments have Convex Partitions with 2-Edge Connected Dual Graphs” Nadia M. Benbernou∗ Erik D. Demaine†

                Add to Reading List

                Source URL: www.eecs.tufts.edu

                Language: English - Date: 2008-07-06 23:09:48
                UPDATE